2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 282 475 492 0 769 0 0 0

N.S.

1 1.09 1.84 1.91 0.00 2.98 0.00 0.00 0.00

time (sec)

N/A 1.666 6.486 1.005 0.000 0.268 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 235 442 450 0 694 0 0 0

N.S.

1 1.07 2.02 2.05 0.00 3.17 0.00 0.00 0.00

time (sec)

N/A 1.357 6.321 0.945 0.000 0.256 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 190 231 405 0 621 0 0 0

N.S.

1 1.04 1.27 2.23 0.00 3.41 0.00 0.00 0.00

time (sec)

N/A 1.086 2.171 0.952 0.000 0.264 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 145 216 365 0 542 0 0 0

N.S.

1 1.04 1.55 2.63 0.00 3.90 0.00 0.00 0.00

time (sec)

N/A 0.831 1.452 1.223 0.000 0.249 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 265 386 0 626 0 0 0

N.S.

1 1.00 1.91 2.78 0.00 4.50 0.00 0.00 0.00

time (sec)

N/A 0.820 2.166 1.029 0.000 0.262 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 124 279 370 1072 408 0 0 0

N.S.

1 1.02 2.29 3.03 8.79 3.34 0.00 0.00 0.00

time (sec)

N/A 0.538 4.054 0.958 0.464 0.240 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 163 304 414 1284 466 0 0 0

N.S.

1 1.04 1.95 2.65 8.23 2.99 0.00 0.00 0.00

time (sec)

N/A 0.703 5.839 0.812 0.603 0.250 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 217 479 457 3186 509 0 0 0

N.S.

1 1.07 2.37 2.26 15.77 2.52 0.00 0.00 0.00

time (sec)

N/A 1.147 6.926 0.941 0.835 0.249 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 266 510 499 3508 566 0 0 0

N.S.

1 1.11 2.13 2.09 14.68 2.37 0.00 0.00 0.00

time (sec)

N/A 1.464 7.291 0.966 1.094 0.246 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 230 199 664 0 658 0 0 0

N.S.

1 1.06 0.91 3.05 0.00 3.02 0.00 0.00 0.00

time (sec)

N/A 1.390 1.353 1.138 0.000 0.307 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 184 177 620 0 580 0 0 0

N.S.

1 1.04 1.00 3.50 0.00 3.28 0.00 0.00 0.00

time (sec)

N/A 1.056 2.029 1.186 0.000 0.311 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 144 178 577 0 577 0 0 0

N.S.

1 1.03 1.27 4.12 0.00 4.12 0.00 0.00 0.00

time (sec)

N/A 0.823 0.553 1.153 0.000 0.302 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 127 347 0 301 0 0 242

N.S.

1 1.00 1.44 3.94 0.00 3.42 0.00 0.00 2.75

time (sec)

N/A 0.382 0.349 1.287 0.000 0.264 0.000 0.000 8.134

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 125 97 349 0 299 0 280 171

N.S.

1 1.47 1.14 4.11 0.00 3.52 0.00 3.29 2.01

time (sec)

N/A 0.530 0.598 1.210 0.000 0.253 0.000 0.737 8.250

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 122 129 392 0 355 0 377 0

N.S.

1 1.02 1.08 3.27 0.00 2.96 0.00 3.14 0.00

time (sec)

N/A 0.607 0.471 1.174 0.000 0.270 0.000 1.454 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 169 122 401 0 403 0 404 0

N.S.

1 1.05 0.76 2.49 0.00 2.50 0.00 2.51 0.00

time (sec)

N/A 0.847 1.424 1.214 0.000 0.258 0.000 1.676 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 214 141 473 0 456 0 427 0

N.S.

1 1.08 0.71 2.39 0.00 2.30 0.00 2.16 0.00

time (sec)

N/A 1.117 2.265 1.207 0.000 0.270 0.000 2.296 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 230 177 811 0 612 0 0 0

N.S.

1 1.06 0.81 3.72 0.00 2.81 0.00 0.00 0.00

time (sec)

N/A 1.382 3.042 1.028 0.000 0.304 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 189 157 767 0 613 0 0 0

N.S.

1 1.04 0.87 4.24 0.00 3.39 0.00 0.00 0.00

time (sec)

N/A 1.074 1.987 0.967 0.000 0.304 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 134 161 460 0 321 0 0 0

N.S.

1 1.06 1.27 3.62 0.00 2.53 0.00 0.00 0.00

time (sec)

N/A 0.528 0.954 0.979 0.000 0.269 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 130 129 459 0 320 0 0 0

N.S.

1 1.02 1.02 3.61 0.00 2.52 0.00 0.00 0.00

time (sec)

N/A 0.536 1.039 1.243 0.000 0.263 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 129 137 460 0 320 0 751 0

N.S.

1 1.03 1.10 3.68 0.00 2.56 0.00 6.01 0.00

time (sec)

N/A 0.617 1.219 1.095 0.000 0.263 0.000 1.597 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 168 135 505 0 382 0 849 0

N.S.

1 1.04 0.83 3.12 0.00 2.36 0.00 5.24 0.00

time (sec)

N/A 0.859 1.158 1.006 0.000 0.276 0.000 6.743 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 211 183 545 0 435 0 875 0

N.S.

1 1.05 0.91 2.71 0.00 2.16 0.00 4.35 0.00

time (sec)

N/A 1.169 1.388 1.003 0.000 0.268 0.000 8.811 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 276 237 1007 0 623 0 0 0

N.S.

1 1.07 0.92 3.92 0.00 2.42 0.00 0.00 0.00

time (sec)

N/A 1.685 3.102 1.284 0.000 0.324 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 232 236 958 0 621 0 0 0

N.S.

1 1.06 1.08 4.39 0.00 2.85 0.00 0.00 0.00

time (sec)

N/A 1.378 2.641 1.035 0.000 0.310 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 180 141 575 0 332 0 0 0

N.S.

1 1.08 0.85 3.46 0.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.697 1.994 0.984 0.000 0.269 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 176 145 571 0 331 0 0 0

N.S.

1 1.07 0.88 3.48 0.00 2.02 0.00 0.00 0.00

time (sec)

N/A 0.724 1.416 1.027 0.000 0.257 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 178 129 575 0 331 0 0 0

N.S.

1 1.06 0.77 3.42 0.00 1.97 0.00 0.00 0.00

time (sec)

N/A 0.868 1.431 1.188 0.000 0.267 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 174 183 571 0 330 0 1221 0

N.S.

1 1.07 1.13 3.52 0.00 2.04 0.00 7.54 0.00

time (sec)

N/A 0.873 2.406 1.096 0.000 0.260 0.000 4.624 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 213 147 620 0 393 0 1319 0

N.S.

1 1.07 0.74 3.12 0.00 1.97 0.00 6.63 0.00

time (sec)

N/A 1.128 1.771 0.987 0.000 0.268 0.000 19.083 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 258 160 661 0 445 0 1345 0

N.S.

1 1.08 0.67 2.78 0.00 1.87 0.00 5.65 0.00

time (sec)

N/A 1.431 2.418 0.966 0.000 0.285 0.000 20.630 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

343 279 530 211 0 645 0 256 655

N.S.

1 0.81 1.55 0.62 0.00 1.88 0.00 0.75 1.91

time (sec)

N/A 0.953 6.616 0.655 0.000 0.264 0.000 0.480 6.502

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

319 261 338 201 0 494 0 231 616

N.S.

1 0.82 1.06 0.63 0.00 1.55 0.00 0.72 1.93

time (sec)

N/A 0.819 5.790 0.512 0.000 0.257 0.000 0.578 7.322

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

299 243 502 190 0 492 0 215 622

N.S.

1 0.81 1.68 0.64 0.00 1.65 0.00 0.72 2.08

time (sec)

N/A 0.718 6.355 0.565 0.000 0.261 0.000 0.456 6.171

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

303 245 300 190 0 493 0 215 599

N.S.

1 0.81 0.99 0.63 0.00 1.63 0.00 0.71 1.98

time (sec)

N/A 0.721 4.961 0.520 0.000 0.267 0.000 0.487 6.175

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

303 243 285 189 0 486 0 215 587

N.S.

1 0.80 0.94 0.62 0.00 1.60 0.00 0.71 1.94

time (sec)

N/A 0.686 4.141 0.542 0.000 0.277 0.000 0.513 6.824

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

321 259 465 199 0 642 0 231 630

N.S.

1 0.81 1.45 0.62 0.00 2.00 0.00 0.72 1.96

time (sec)

N/A 0.855 6.349 0.528 0.000 0.270 0.000 1.274 6.008

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

347 279 394 210 0 787 0 241 611

N.S.

1 0.80 1.14 0.61 0.00 2.27 0.00 0.69 1.76

time (sec)

N/A 1.016 5.843 0.611 0.000 0.276 0.000 0.742 7.378

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

379 326 639 246 0 684 0 268 674

N.S.

1 0.86 1.69 0.65 0.00 1.80 0.00 0.71 1.78

time (sec)

N/A 1.299 6.803 0.569 0.000 0.277 0.000 0.751 6.369

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

357 304 677 235 0 521 0 244 668

N.S.

1 0.85 1.90 0.66 0.00 1.46 0.00 0.68 1.87

time (sec)

N/A 1.102 6.562 0.582 0.000 0.287 0.000 0.625 6.260

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

337 286 571 225 0 521 0 228 642

N.S.

1 0.85 1.69 0.67 0.00 1.55 0.00 0.68 1.91

time (sec)

N/A 0.970 6.479 0.566 0.000 0.271 0.000 0.735 6.356

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

335 284 376 225 0 521 0 228 653

N.S.

1 0.85 1.12 0.67 0.00 1.56 0.00 0.68 1.95

time (sec)

N/A 0.959 5.473 0.605 0.000 0.268 0.000 0.505 5.464

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

337 286 355 225 0 521 0 226 640

N.S.

1 0.85 1.05 0.67 0.00 1.55 0.00 0.67 1.90

time (sec)

N/A 0.964 4.823 0.592 0.000 0.262 0.000 0.598 5.848

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

339 286 352 223 0 515 0 228 630

N.S.

1 0.84 1.04 0.66 0.00 1.52 0.00 0.67 1.86

time (sec)

N/A 0.924 4.345 0.682 0.000 0.271 0.000 0.654 5.810

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

359 304 388 233 0 681 0 238 660

N.S.

1 0.85 1.08 0.65 0.00 1.90 0.00 0.66 1.84

time (sec)

N/A 1.139 4.843 0.576 0.000 0.272 0.000 2.001 6.096

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

381 324 515 244 0 836 0 254 652

N.S.

1 0.85 1.35 0.64 0.00 2.19 0.00 0.67 1.71

time (sec)

N/A 1.296 6.524 0.569 0.000 0.256 0.000 1.066 6.145

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 92 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.356 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 92 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 90 0 0 0 0 0 0 0

N.S.

1 1.10 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.338 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 90 0 0 0 0 0 0 0

N.S.

1 1.10 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.345 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

80 88 0 0 0 0 0 0 0

N.S.

1 1.10 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.325 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

80 85 0 0 0 0 0 0 0

N.S.

1 1.06 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.346 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F(-1) F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 92 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.346 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 92 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.334 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 90 0 0 0 0 0 0 0

N.S.

1 1.10 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.339 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 90 0 0 0 0 0 0 0

N.S.

1 1.10 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.343 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

80 88 0 0 0 0 0 0 0

N.S.

1 1.10 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

80 85 0 0 0 0 0 0 0

N.S.

1 1.06 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.343 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

81 92 0 0 0 0 0 0 0

N.S.

1 1.14 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

81 92 0 0 0 0 0 0 0

N.S.

1 1.14 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.357 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

81 90 0 0 0 0 0 0 0

N.S.

1 1.11 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.346 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-2) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

81 90 0 0 0 0 0 0 0

N.S.

1 1.11 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.338 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F(-2) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

79 86 0 0 0 0 0 0 0

N.S.

1 1.09 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.314 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-2) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

79 88 0 0 0 0 0 0 0

N.S.

1 1.11 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.339 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-2) F(-1) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

84 92 0 0 0 0 0 0 0

N.S.

1 1.10 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.356 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-2) F F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

84 92 0 0 0 0 0 0 0

N.S.

1 1.10 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.346 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-2) F(-1) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

84 90 0 0 0 0 0 0 0

N.S.

1 1.07 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-2) F F F(-2) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

84 88 0 0 0 0 0 0 0

N.S.

1 1.05 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.353 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-2) F(-1) F F(-2) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 85 0 0 0 0 0 0 0

N.S.

1 1.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-2) F F(-1) F(-2) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

82 88 0 0 0 0 0 0 0

N.S.

1 1.07 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

234 196 249 198 190 393 0 0 235

N.S.

1 0.84 1.06 0.85 0.81 1.68 0.00 0.00 1.00

time (sec)

N/A 0.703 1.162 0.569 0.313 0.270 0.000 0.000 1.009

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

185 138 199 157 153 294 0 0 195

N.S.

1 0.75 1.08 0.85 0.83 1.59 0.00 0.00 1.05

time (sec)

N/A 0.419 0.795 0.556 0.309 0.265 0.000 0.000 4.852

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

174 129 195 154 153 239 0 0 176

N.S.

1 0.74 1.12 0.89 0.88 1.37 0.00 0.00 1.01

time (sec)

N/A 0.382 0.227 0.604 0.309 0.274 0.000 0.000 5.337

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

156 108 156 133 135 188 0 0 184

N.S.

1 0.69 1.00 0.85 0.87 1.21 0.00 0.00 1.18

time (sec)

N/A 0.294 0.112 0.429 0.318 0.245 0.000 0.000 4.390

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F B

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

260 208 286 0 233 387 0 0 328

N.S.

1 0.80 1.10 0.00 0.90 1.49 0.00 0.00 1.26

time (sec)

N/A 0.712 0.399 0.000 0.315 0.261 0.000 0.000 5.390

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F B

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

299 254 341 0 261 555 0 0 806

N.S.

1 0.85 1.14 0.00 0.87 1.86 0.00 0.00 2.70

time (sec)

N/A 0.937 0.769 0.000 0.318 0.270 0.000 0.000 5.016

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F(-2) B

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

327 293 366 0 306 678 0 0 417

N.S.

1 0.90 1.12 0.00 0.94 2.07 0.00 0.00 1.28

time (sec)

N/A 1.237 1.628 0.000 0.307 0.263 0.000 0.000 5.150

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

156 108 111 133 136 226 0 0 171

N.S.

1 0.69 0.71 0.85 0.87 1.45 0.00 0.00 1.10

time (sec)

N/A 0.289 0.129 0.546 0.313 0.258 0.000 0.000 5.544

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

251 231 282 217 208 501 0 0 243

N.S.

1 0.92 1.12 0.86 0.83 2.00 0.00 0.00 0.97

time (sec)

N/A 0.895 1.607 0.554 0.313 0.270 0.000 0.000 5.301

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

203 165 224 176 172 409 0 0 218

N.S.

1 0.81 1.10 0.87 0.85 2.01 0.00 0.00 1.07

time (sec)

N/A 0.501 1.603 0.497 0.312 0.259 0.000 0.000 4.825

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 165 224 173 172 350 0 0 198

N.S.

1 0.86 1.17 0.90 0.90 1.82 0.00 0.00 1.03

time (sec)

N/A 0.480 0.552 0.551 0.310 0.242 0.000 0.000 5.506

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

175 136 197 151 153 262 0 0 195

N.S.

1 0.78 1.13 0.86 0.87 1.50 0.00 0.00 1.11

time (sec)

N/A 0.369 0.242 0.642 0.302 0.247 0.000 0.000 4.518

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

254 283 285 245 233 446 0 0 369

N.S.

1 1.11 1.12 0.96 0.92 1.76 0.00 0.00 1.45

time (sec)

N/A 1.229 0.451 1.008 0.308 0.259 0.000 0.000 5.335

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

315 284 342 278 258 622 0 0 855

N.S.

1 0.90 1.09 0.88 0.82 1.97 0.00 0.00 2.71

time (sec)

N/A 1.211 0.970 0.700 0.308 0.263 0.000 0.000 0.637

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

321 292 368 301 304 744 0 0 460

N.S.

1 0.91 1.15 0.94 0.95 2.32 0.00 0.00 1.43

time (sec)

N/A 1.270 1.805 0.722 0.308 0.282 0.000 0.000 5.140

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

177 138 151 153 154 280 0 0 208

N.S.

1 0.78 0.85 0.86 0.87 1.58 0.00 0.00 1.18

time (sec)

N/A 0.363 0.316 0.447 0.540 0.244 0.000 0.000 5.337

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

83 83 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.311 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

81 103 0 0 0 0 0 0 0

N.S.

1 1.27 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

282 246 250 211 208 479 0 0 266

N.S.

1 0.87 0.89 0.75 0.74 1.70 0.00 0.00 0.94

time (sec)

N/A 1.006 2.054 0.577 0.293 0.266 0.000 0.000 5.855

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

237 198 224 198 190 418 0 0 228

N.S.

1 0.84 0.95 0.84 0.80 1.76 0.00 0.00 0.96

time (sec)

N/A 0.724 0.899 0.457 0.295 0.260 0.000 0.000 0.405

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

213 165 62 172 172 315 0 0 210

N.S.

1 0.77 0.29 0.81 0.81 1.48 0.00 0.00 0.99

time (sec)

N/A 0.504 0.322 0.616 0.296 0.258 0.000 0.000 5.727

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

178 132 152 146 154 327 0 0 172

N.S.

1 0.74 0.85 0.82 0.87 1.84 0.00 0.00 0.97

time (sec)

N/A 0.376 0.783 0.562 0.302 0.259 0.000 0.000 0.259

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

184 136 50 158 152 315 0 0 197

N.S.

1 0.74 0.27 0.86 0.83 1.71 0.00 0.00 1.07

time (sec)

N/A 0.365 0.090 0.615 0.291 0.239 0.000 0.000 5.516

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A B F F B

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

286 278 166 0 249 580 0 0 559

N.S.

1 0.97 0.58 0.00 0.87 2.03 0.00 0.00 1.95

time (sec)

N/A 1.177 0.904 0.000 0.304 0.288 0.000 0.000 0.295

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F B

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

327 288 283 0 286 717 0 0 887

N.S.

1 0.88 0.87 0.00 0.87 2.19 0.00 0.00 2.71

time (sec)

N/A 1.191 5.138 0.000 0.313 0.277 0.000 0.000 5.409

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

184 136 50 158 151 305 0 0 190

N.S.

1 0.74 0.27 0.86 0.82 1.66 0.00 0.00 1.03

time (sec)

N/A 0.366 0.155 0.553 0.289 0.248 0.000 0.000 0.234

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-2) F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

86 86 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.301 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-2) F F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

84 103 0 0 0 0 0 0 0

N.S.

1 1.23 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

282 248 114 212 209 443 0 0 263

N.S.

1 0.88 0.40 0.75 0.74 1.57 0.00 0.00 0.93

time (sec)

N/A 0.990 1.025 0.557 0.298 0.255 0.000 0.000 6.079